/*
  Rule 2.3(r)
  The character sequence /* shall not be used within a comment.
*/


#include <stdio.h>
typedef int int32_t;


void mc2main_0203V001NonCompliant_01 ( void );
void mc2main_0203V001NonCompliant_01 ( void )
{
/*ggggggggggggg/*gggggggggggg*/
}

int32_t main(void)
{
 /*vvvvvvv /*vvvvvvv*/
 /*yyyyyy*/
 /*jjjjjjjjjjjj/*ooo*/
 return 0;
}
